Nuprl Definition : xxorder
13,42
postcript
pdf
compound
order(
T
;
R
) == refl(
T
;
R
) & trans(
T
;
R
) & anti_sym(
T
;
R
)
latex
Up
gen
algebra
1
Wellformedness Lemmas
xxorder
wf
Definitions
refl(
T
;
E
)
,
P
&
Q
,
trans(
T
;
E
)
,
anti_sym(
T
;
R
)
origin